Books by author Rolf Drechsler

Showing 20 – 40 out of 68 results

1. 

   Formal Specification Level, 1

   Mathias Soeken, Rolf Drechsler | Springer, Berlin, 2014

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: English

   Binding: Hardback

   102.97 €

   Sale 7 %

   You save 8.63 €

   Buy
2. 

   Formal Verification of Circuits

   Rolf Drechsler | Springer, Berlin, 2000

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: English

   Binding: Hardback

   154.36 €

   Sale 7 %

   You save 12.87 €

   Buy
3. 

   Advanced Logic Synthesis

   André Inácio Reis, Rolf Drechsler | Springer International Publishing AG, 2017

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: English

   Binding: Hardback

   102.97 €

   Sale 7 %

   You save 8.63 €

   Buy
4. 

   Languages, Design Methods, and Tools for Electronic System Design

   Rolf Drechsler, Robert Wille | Springer International Publishing AG, 2016

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: English

   Binding: Hardback

   51.68 €

   Sale 7 %

   You save 4.28 €

   Buy
5. 

   Test Pattern Generation using Boolean Proof Engines

   Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Daniel Tille | Springer, 2010

   
   

   In stock at our supplier - Shipping in 8 - 11 days

   Language: English

   Binding: Paperback

   102.97 €

   Sale 7 %

   You save 8.63 €

   Buy
6. 

   Computer

   Rolf Drechsler, Andrea Fink, Jannis Stoppe | Springer Berlin Heidelberg, 2017

   
   

   50/50 - We search the world

   Language: German

   Binding: Paperback

   18 €

   Sale 11 %

   You save 2.23 €

   Buy
7. 

   In-Memory-Computing

   Saeideh Shirinzadeh, Rolf Drechsler | Springer, Berlin, 2023

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: German

   Binding: Hardback

   105.80 €

   Sale 7 %

   You save 8.89 €

   Buy
8. 

   Formal Verification of Structurally Complex Multipliers

   Alireza Mahzoon, Daniel Große, Rolf Drechsler | Springer, Berlin, 2024

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   92.75 €

   Sale 7 %

   You save 7.72 €

   Buy
9. 

   Towards a Design Flow for Reversible Logic

   Robert Wille, Rolf Drechsler | Springer, 2010

   
   

   Low in stock at our supplier - Shipping in 13 - 18 days

   Language: English

   Binding: Hardback

   109.44 €

   Buy
10. 

    Design for Testability, Debug and Reliability

    Sebastian Huhn, Rolf Drechsler | Springer Nature Switzerland AG, 2022

    
    

    In stock at our supplier - Shipping in 10 - 18 days

    Language: English

    Binding: Paperback

    82.74 €

    Buy
11. 

    Advanced BDD Optimization

    Rüdiger Ebendt, Görschwin Fey, Rolf Drechsler | Springer-Verlag New York Inc., 2005

    
    

    Low in stock at our supplier - Shipping in 13 - 18 days

    Language: English

    Binding: Hardback

    167.81 €

    Buy
12. 

    In-Memory Computing

    Saeideh Shirinzadeh, Rolf Drechsler | Springer Nature Switzerland AG, 2019

    
    

    In stock at our supplier - Shipping in 10 - 13 days

    Language: English

    Binding: Hardback

    102.97 €

    Sale 7 %

    You save 8.63 €

    Buy
13. 

    Advanced Formal Verification

    Rolf Drechsler | Springer-Verlag New York Inc., 2004

    
    

    In stock at our supplier - Shipping in 10 - 13 days

    Language: English

    Binding: Hardback

    102.97 €

    Sale 7 %

    You save 8.63 €

    Buy
14. 

    Exact Design of Digital Microfluidic Biochips

    Oliver Keszocze, Robert Wille, Rolf Drechsler | Springer Nature Switzerland AG, 2019

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    102.97 €

    Sale 7 %

    You save 8.63 €

    Buy
15. 

    Evolutionary Algorithms for VLSI CAD

    Rolf Drechsler | Springer, Berlin, 1998

    
    

    In stock at our supplier - Shipping in 10 - 13 days

    Language: English

    Binding: Hardback

    102.97 €

    Sale 7 %

    You save 8.63 €

    Buy
16. 

    Towards One-Pass Synthesis

    Rolf Drechsler, Wolfgang Günther | Springer-Verlag New York Inc., 2002

    
    

    In stock at our supplier - Shipping in 10 - 13 days

    Language: English

    Binding: Hardback

    102.97 €

    Sale 7 %

    You save 8.63 €

    Buy
17. 

    Formal System Verification

    Rolf Drechsler | Springer International Publishing AG, 2018

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    123.50 €

    Sale 7 %

    You save 10.33 €

    Buy
18. 

    Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

    Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler | Springer International Publishing AG, 2019

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    154.36 €

    Sale 7 %

    You save 12.87 €

    Buy
19. 

    Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes

    Pascal Pieper, Rolf Drechsler | Springer, Berlin, 2024

    
    

    In stock at our supplier - Shipping in 10 - 13 days

    Language: English

    Binding: Hardback

    123.50 €

    Sale 7 %

    You save 10.33 €

    Buy
20. 

    Spectral Techniques in VLSI CAD

    Mitchell Aaron Thornton, Rolf Drechsler, D. Michael Miller | Springer, Berlin, 2001

    
    

    In stock at our supplier - Shipping in 10 - 13 days

    Language: English

    Binding: Hardback

    154.36 €

    Sale 7 %

    You save 12.87 €

    Buy

Books are sent immediately or as soon as possible. Find out more